html {
	cursor: text;
}

.editbox {
	margin: .4em;
	padding: 5px;
	font-family: monospace;
	font-size: 10pt;
	color: black; background-color : #eeeeee;
	border-radius: 5px;
	-moz-border-radius: 5px;
	-webkit-border-radius: 5px;
	border-color: black;
	border-style: solid;
	background-color: #eeeeee;
}

pre.code,.editbox {
	color: #666666;
}

.editbox p {
	margin: 0;
}

span.java-punctuation {
	color: black;
}

span.java-operator {
	color: purple;
}

span.java-keyword {
	color: #7f0055;
	font-weight: bold;
}

span.java-atom {
	color: brown;
}

span.java-variable {
	color: black;
}

span.java-property {
	color: black;
}

span.java-comment {
	color: green;
}

span.javadoc-comment {
	color: #3e5797;
	font-weight: bold;
}

span.java-string {
	color: blue;
}

span.java-annotation {
	color: gray;
}